linear deduction

线性演绎